Stability of quantized time-delay nonlinear systems: A Lyapunov-Krasowskii-functional approach

Lyapunov-Krasowskii functionals are used to design quantized control laws for nonlinear continuous-time systems in the presence of constant delays in the input. The quantized control law is implemented via hysteresis to prevent chattering. Under appropriate conditions, our analysis applies to stabilizable nonlinear systems for any value of the quantization density. The resulting quantized feedback is parametrized with respect to the quantization density. Moreover, the maximal allowable delay tolerated by the system is characterized as a function of the quantization density.Comment: 31 pages, 3 figures, to appear in Mathematics of Control, Signals, and System

Post‐traumatic stress disorder and birthweight: methodological challenges

Peer Reviewedhttp://deepblue.lib.umich.edu/bitstream/2027.42/89463/1/j.1471-0528.2011.03200.x.pd

Effects of anisotropic interactions on the structure of animal groups

This paper proposes an agent-based model which reproduces different structures of animal groups. The shape and structure of the group is the effect of simple interaction rules among individuals: each animal deploys itself depending on the position of a limited number of close group mates. The proposed model is shown to produce clustered formations, as well as lines and V-like formations. The key factors which trigger the onset of different patterns are argued to be the relative strength of attraction and repulsion forces and, most important, the anisotropy in their application.Comment: 22 pages, 9 figures. Submitted. v1-v4: revised presentation; extended simulations; included technical results. v5: added a few clarification

Diabetes causes marked inhibition of mitochondrial metabolism in pancreatic β-cells

Diabetes is a global health problem caused primarily by the inability of pancreatic β-cells to secrete adequate levels of insulin. The molecular mechanisms underlying the progressive failure of β-cells to respond to glucose in type-2 diabetes remain unresolved. Using a combination of transcriptomics and proteomics, we find significant dysregulation of major metabolic pathways in islets of diabetic βV59M mice, a non-obese, eulipidaemic diabetes model. Multiple genes/proteins involved in glycolysis/gluconeogenesis are upregulated, whereas those involved in oxidative phosphorylation are downregulated. In isolated islets, glucose-induced increases in NADH and ATP are impaired and both oxidative and glycolytic glucose metabolism are reduced. INS-1 β-cells cultured chronically at high glucose show similar changes in protein expression and reduced glucose-stimulated oxygen consumption: targeted metabolomics reveals impaired metabolism. These data indicate hyperglycaemia induces metabolic changes in β-cells that markedly reduce mitochondrial metabolism and ATP synthesis. We propose this underlies the progressive failure of β-cells in diabetes.Peer reviewe

Altered amygdala activation during face processing in Iraqi and Afghanistani war veterans

Abstract Background Exposure to combat can have a significant impact across a wide array of domains, and may manifest as post-traumatic stress disorder (PTSD), a debilitating mental illness that is associated with neural and affective sequelae. This study tested the hypothesis that combat-exposed individuals with and without PTSD, relative to healthy control subjects with no history of PTSD or combat exposure, would show amygdala hyperactivity during performance of a well-validated face processing task. We further hypothesized that differences in the prefrontal cortex would best differentiate the combat-exposed groups with and without PTSD. Methods Twelve men with PTSD related to combat in Operations Enduring Freedom and/or Iraqi Freedom, 12 male combat-exposed control patients with a history of Operations Enduring Freedom and/or Iraqi Freedom combat exposure but no history of PTSD, and 12 healthy control male patients with no history of combat exposure or PTSD completed a face-matching task during functional magnetic resonance imaging. Results The PTSD group showed greater amygdala activation to fearful versus happy faces than both the combat-exposed control and healthy control groups. Both the PTSD and the combat-exposed control groups showed greater amygdala activation to all faces versus shapes relative to the healthy control group. However, the combat-exposed control group relative to the PTSD group showed greater prefrontal/parietal connectivity with the amygdala, while the PTSD group showed greater connectivity with the subgenual cingulate. The strength of connectivity in the PTSD group was inversely related to avoidance scores. Conclusions These observations are consistent with the hypothesis that PTSD is associated with a deficiency in top-down modulation of amygdala activation by the prefrontal cortex and shows specific sensitivity to fearful faces

Characterizing genomic alterations in cancer by complementary functional associations.

Systematic efforts to sequence the cancer genome have identified large numbers of mutations and copy number alterations in human cancers. However, elucidating the functional consequences of these variants, and their interactions to drive or maintain oncogenic states, remains a challenge in cancer research. We developed REVEALER, a computational method that identifies combinations of mutually exclusive genomic alterations correlated with functional phenotypes, such as the activation or gene dependency of oncogenic pathways or sensitivity to a drug treatment. We used REVEALER to uncover complementary genomic alterations associated with the transcriptional activation of β-catenin and NRF2, MEK-inhibitor sensitivity, and KRAS dependency. REVEALER successfully identified both known and new associations, demonstrating the power of combining functional profiles with extensive characterization of genomic alterations in cancer genomes

An Excursion-Theoretic Approach to Stability of Discrete-Time Stochastic Hybrid Systems

We address stability of a class of Markovian discrete-time stochastic hybrid systems. This class of systems is characterized by the state-space of the system being partitioned into a safe or target set and its exterior, and the dynamics of the system being different in each domain. We give conditions for $L_1$-boundedness of Lyapunov functions based on certain negative drift conditions outside the target set, together with some more minor assumptions. We then apply our results to a wide class of randomly switched systems (or iterated function systems), for which we give conditions for global asymptotic stability almost surely and in $L_1$. The systems need not be time-homogeneous, and our results apply to certain systems for which functional-analytic or martingale-based estimates are difficult or impossible to get.Comment: Revised. 17 pages. To appear in Applied Mathematics & Optimizatio

Yes, I Am Ready Now: Differential Effects of Paced versus Unpaced Mating on Anxiety and Central Oxytocin Release in Female Rats

Sexual activity and partner intimacy results in several positive consequences in the context of stress-coping, both in males and females, such as reduced state anxiety in male rats after successful mating. However, in female rats, mating is a rewarding experience only when the estrous female is able to control sexual interactions, i.e., under paced-mating conditions. Here, we demonstrate that sex-steroid priming required for female mating is anxiolytic; subsequent sexual activity under paced mating conditions did not disrupt this anxiolytic priming effect, whereas mating under unpaced conditions increased anxiety-related behavior. In primed females, the release of the neuropeptide oxytocin (OT) within the hypothalamic paraventricular nucleus was found to be elevated and to further increase during paced, but not unpaced mating. Central administration of an OT receptor antagonist partly prevented priming/mating-induced anxiolysis indicating the involvement of brain OT in the anxiolysis triggered by priming and/or sexual activity

Automated Formal Synthesis of Digital Controllers for State-Space Physical Plants

We present a sound and automated approach to synthesize safe digital feedback controllers for physical plants represented as linear, time-invariant models. Models are given as dynamical equations with inputs, evolving over a continuous state space and accounting for errors due to the digitization of signals by the controller. Our counterexample guided inductive synthesis (CEGIS) approach has two phases: We synthesize a static feedback controller that stabilizes the system but that may not be safe for all initial conditions. Safety is then verified either via BMC or abstract acceleration; if the verification step fails, a counterexample is provided to the synthesis engine and the process iterates until a safe controller is obtained. We demonstrate the practical value of this approach by automatically synthesizing safe controllers for intricate physical plant models from the digital control literature